Det finnes en {\em kanonisk} modellstruktur på $\Cat$ som bruker ekvivalenser av kategorier, og vi forsøker å forstå fibrasjonene involvert. Første kapittel gir en detaljert utledning av at yonedaimbeddingen $\y : \C \to ...